๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Constraint Handling
CHR, Logic Programming, Rule Systems, Constraint Propagation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org
ยท
15h
๐งฎ
Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
ยท
3h
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language โข Semantics 3
inquiryintoinquiry.com
ยท
3h
๐ข
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
ยท
23h
ยท
Discuss:
blog.mitrichev.ch
๐
Linear programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to
ยท
1d
ยท
Discuss:
DEV
๐๏ธ
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org
ยท
1d
ยท
Discuss:
Hacker News
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
ยท
4h
ยท
Discuss:
Hacker News
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
ยท
1h
๐
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
ยท
15h
๐
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
ยท
1d
ยท
Discuss:
Hacker News
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building your MCP server with Laravel
sevalla.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com
ยท
1d
โก
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Documents to Dialogue: A step-by-step RAG Journey
dev.to
ยท
5h
ยท
Discuss:
DEV
๐
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
ยท
6h
ยท
Discuss:
Hacker News
๐
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ship Broken Things
matmul.net
ยท
23h
ยท
Discuss:
Hacker News
๐
Topological Sorting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The effective LLM multi-tenant security with SQL
getbruin.com
ยท
23h
ยท
Discuss:
Hacker News
๐๏ธ
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org
ยท
15h
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org
ยท
1d
ยท
Discuss:
Hacker News
๐
Language-based security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Getting a Hypergraph of Functions to a Browser
systeminit.com
ยท
1d
ยท
Discuss:
Hacker News
๐
E-graphs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three Solutions to Nondeterminism in AI
blog.hellas.ai
ยท
2d
ยท
Discuss:
Hacker News
๐ฏ
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »